241. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
242. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
